Special Issue on Selected Extended Papers of CADE-23BJORNER, Nikolaj; SOFRONIC-STOKKERMANS, Viorica.Journal of automated reasoning. 2013, Vol 51, Num 1, issn 0168-7433, 129 p.Serial Issue

Automated reasoning about metric and topologyHUSTADT, Ullrich; TISHKOVSKY, Dmitry; WOLTER, Frank et al.Lecture notes in computer science. 2006, pp 490-493, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Comparing instance generation methods for automated reasoningJACOBS, Swen; WALDMANN, Uwe.Lecture notes in computer science. 2005, pp 153-168, issn 0302-9743, isbn 3-540-28931-3, 16 p.Conference Paper

Automated reasoning tools for molecular biologyFAGES, Francois.Lecture notes in computer science. 2004, pp 1-2, issn 0302-9743, isbn 3-540-23166-8, 2 p.Conference Paper

The ICS decision procedures for embedded deductionDE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 218-222, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Formalizing undefinedness arising in calculusFARMER, William M.Lecture notes in computer science. 2004, pp 475-489, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

Deductive systems' representation and an incompleteness result in the situation calculusSAEZ, Pablo.Lecture notes in computer science. 2005, pp 119-131, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 13 p.Conference Paper

Automated reasoning (Cork, 4-8 July 2004)Basin, David; Rusinowitch, Michael.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22345-2, XII, 491 p, isbn 3-540-22345-2Conference Proceedings

The CADE ATP system competitionSUTCLIFFE, Geoff; SUTTNER, Christian.Lecture notes in computer science. 2004, pp 490-491, issn 0302-9743, isbn 3-540-22345-2, 2 p.Conference Paper

Enabling intelligent organizations : An electronic institutions approach for controlling and executing problem solving methodsROBLES P, Armando; PABLO NORIEGA, B. V; CANTU, Francisco et al.Lecture notes in computer science. 2005, pp 275-286, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 12 p.Conference Paper

The chisholm paradox and the situation calculusDEMOLOMBE, Robert; POZOS-PARRA, Pilar.Lecture notes in computer science. 2005, pp 425-434, issn 0302-9743, isbn 3-540-25878-7, 10 p.Conference Paper

TeMP: A temporal monodic proverHUSTADT, Ullrich; KONEV, Boris; RIAZANOV, Alexandre et al.Lecture notes in computer science. 2004, pp 326-330, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Non-Markovian control in the Situation CalculusGABALDON, Alfredo.Artificial intelligence (General ed.). 2011, Vol 175, Num 1, pp 25-48, issn 0004-3702, 24 p.Article

Foundational challenges in automated semantic web data and ontology cleaningALONSO-JIMENEZ, José A; BORREGO-DIAZ, Joaquin; CHAVEZ-GONZALEZ, Antonia M et al.IEEE intelligent systems. 2006, Vol 21, Num 1, pp 42-52, issn 1541-1672, 11 p.Article

Counter-model search in Gödel-Dummett logicsLARCHEY-WENDLING, Dominique.Lecture notes in computer science. 2004, pp 274-288, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

A formal method toward reasoning about continuous changeCHUNPING LI.Lecture notes in computer science. 2004, pp 1174-1180, issn 0302-9743, isbn 3-540-24059-4, 7 p.Conference Paper

Property persistence in the situation calculusKELLY, Ryan F; PEARCE, Adrian R.Artificial intelligence (General ed.). 2010, Vol 174, Num 12-13, pp 865-888, issn 0004-3702, 24 p.Article

Strings and holes : An exercise on spatial reasoningCABALAR, Pedro; SANTOS, Paulo.Lecture notes in computer science. 2006, pp 419-429, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 11 p.Conference Paper

Synthesis of programs in computational logicBASIN, David; DEVILLE, Yves; FLENER, Pierre et al.Program development in computational logic : a decade of research advances in logic-based program development. Lecture notes in computer science. 2004, pp 30-65, issn 0302-9743, isbn 3-540-22152-2, 36 p.Book Chapter

Formalizing O notation in Isabelle/HOLAVIGAD, Jeremy; DONNELLY, Kevin.Lecture notes in computer science. 2004, pp 357-371, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

System description: E 0.81SCHULZ, Stephan.Lecture notes in computer science. 2004, pp 223-228, issn 0302-9743, isbn 3-540-22345-2, 6 p.Conference Paper

A semantic characterization of a useful fragment of the situation calculus with knowledgeLAKEMEYER, Gerhard; LEVESQUE, Hector J.Artificial intelligence (General ed.). 2011, Vol 175, Num 1, pp 142-164, issn 0004-3702, 23 p.Article

VIBRANT : A Brainstorming Agent for Computer Supported Creative Problem SolvingWANG, Hao-Chuan; LI, Tsai-Yen; ROSE, Carolyn P et al.Lecture notes in computer science. 2006, pp 787-789, issn 0302-9743, isbn 3-540-35159-0, 1Vol, 3 p.Conference Paper

Model checking for database theoreticiansVARDI, Moshe Y.Lecture notes in computer science. 2005, pp 1-16, issn 0302-9743, isbn 3-540-24288-0, 16 p.Conference Paper

Stable model theory for extended RDF ontologiesANALYTI, Anastasia; ANTONIOU, Grigoris; VIEGAS DAMASIO, Carlos et al.Lecture notes in computer science. 2005, pp 21-36, issn 0302-9743, isbn 3-540-29754-5, 1Vol, 16 p.Conference Paper